% 12-point bold (for 18-point baselines)

font_size:=12pt#;
font_identifier:="JENBX";
font_coding_scheme:="TeX text subset";
u#:=0.45pt#;
v#:=0.4pt#;
ht#:=11.2pt#;
cht#:=10pt#;
dht#:=9pt#;
xht#:=5.2pt#;
dp#:=6.0pt#;
px#:=3u#;
py#:=2.5u#;
rot:=60;
slant:=0;

input jen